High-level Verification Methods And Tools For Verification Of

Verification And Synthesis Of Digital Circuits High-level Synthesis

Tools For Design, Implementation And Verification Of Emerging

Methods And Procedures For The Verification And Validation Of

Numerical Verification Methods And Computer-assisted Proofs For

Leveraging Applications Of Formal Methods, Verification And

Brian J. Taylor / Methods And Procedures For The Verification And

Modeling, Verification And Exploration Of Task-level Concurrency In

High-level Estimation And Exploration Of Reliability For

Sudipta Kundu (u. A.) | High-level Verification | Taschenbuch |

Validation And Verification Of Knowledge Based Systems Theory, Tools

Design And Verification Of Microprocessor Systems For

Economic Tools And Methods For The Analysis Of Global Change Impacts

Computational Methods In Transport: Verification And Validation

Tools For Practical Software Verification International Summer School,

Environmental Planning For Oceans And Coasts Methods, Tools, And